Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
3
Interactive Theorem Proving(2010)

Interactive Theorem Proving(2010)

Matt Kaufmann Lawrence C. Paulson (Eds.)
Файл:
PDF, 6.26 MB
0 / 0
4
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Рік:
2000
Мова:
english
Файл:
DJVU, 2.07 MB
0 / 0
english, 2000
5
Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
Рік:
2010
Мова:
english
Файл:
PDF, 6.19 MB
0 / 0
english, 2010
6
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Рік:
2000
Мова:
english
Файл:
PDF, 8.93 MB
0 / 0
english, 2000